
public abstract class Point extends Seg {

	public Point(){
		super();
	}
	
	//@ requires (\forall int i; i >= 0 && i < nexts.length ; nexts[i] != next.id) ;
	//@ requires n < nexts.length;
	public Point(Seg next){
		super(next,null);
	}
	
	//@ requires (\forall int i; i >= 0 && i < nexts.length ; nexts[i] != next.id) ;
	//@ requires n < nexts.length;
	public Point(Semaphore sema){
		super(null,sema);
	}
	//@ requires (\forall int i; i >= 0 && i < nexts.length ; nexts[i] != next.id) ;
	//@ requires n < nexts.length;
	public Point(Seg next,Semaphore sema){
		super(next,sema);
	}
	
}
